Deckblatt Impressum Vierundzwanzigster Tätigkeitsbericht nach § 29 Abs. 2 Landesdatenschutzgesetz (LDSG)

Source URL: www.datenschutz.rlp.de

AMENABLE HYPERBOLIC GROUPS ♠ r q PIERRE-EMMANUEL CAPRACE , YVES de CORNULIER , NICOLAS MONOD , ♣

Source URL: www.normalesup.org

• Geometry
• Geometric group theory
• Space
• Hyperbolic group
• Hyperbolic metric space
• Relatively hyperbolic group
• Quasi-isometry
• Discrete group
• Geometric group action
• Amenable group
• Hyperbolic space
• Busemann function

Systematizing Genome Privacy Research: A Privacy-Enhancing Technologies Perspective∗ Alexandros Mittos1 , Bradley Malin2 , Emiliano De Cristofaro1 arXiv:1712.02193v2 [cs.CR] 17 Aug 2018

Source URL: arxiv.org

• Biology
• Genetics
• Genomics
• Molecular biology
• Biotechnology
• DNA
• Bioinformatics
• Whole genome sequencing
• Genome-wide association study
• Single-nucleotide polymorphism
• Human genome
• Privacy

Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?

Source URL: www.isse.uni-augsburg.de

• Logic
• Mathematical logic
• Linguistics
• Predicate logic
• Knowledge representation
• Tree
• FO
• Predicate transformer semantics
• Substitution
• B-tree
• Symbol
• Control

Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France

Source URL: pxtp.github.io

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Computability theory
• Models of computation
• First-order logic
• Lambda calculus
• Term
• Quantifier
• Natural deduction
• CurryHoward correspondence

Hardlopen met Power! Let op je gewicht! Vorige week gingen we in op de overeenkomsten tussen wielrennen en hardlopen. We onderbouwden dat Tom Dumoulin in de Tour de France voordeel had door wat af te vallen. https://www.

Source URL: hetgeheimvanhardlopen.nl

PDF Document

Source URL: www.datenschutz.rlp.de

Eidgenössische Kommission für Frauenfragen EKF Loi fédérale sur le soutien d’une institution nationale des droits de l’homme (LIDH) Réponse de la Commission fédérale pour les questions féminines

Source URL: www.ekf.admin.ch

Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Software engineering
• Computing
• Model checking
• Specification language
• Computer programming
• Correctness
• Formal methods
• Cognitive science

Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and

Source URL: www.isse.uni-augsburg.de

• Computing
• Software
• Formal methods
• Computer programming
• Refinement
• Crash Bandicoot
• Crash
• S0
• Extensible Storage Engine
• Boeing B-52 Stratofortress